small removal
removed a non existing php file, weird github error