ignore *.php~