minecraft pid file, cleanup on exit