- remove .php files to ease debian packaging