Fix filenames of some compile-fail tests.