This test should fail because #7673 is not yet fixed in trunk. Note that it is fixed in branch. This is the first autotest that uses an existing .lyx file, bug-7673.lyx.