phpdoc fix: it only checks that the file exists
copy config files instead of moving them, to prevent git from wanting to track an irrelevant change