better default for Hypnotoad PID file