makefile to be more friendly to core dumps