pid file name somewhat hardcoded