remove a few more PHP files