remove unnecessary core dump file generated by php crash in the repo