use different file names in different tests to run on HHVM