use different file names in tests to ensure they can run on HHVM