You must not rename the file, at least you can copy the file without the **.dist**. But **phpunit** can run it without problem with the **.dist** file.