it seems git does not like .php files...