fix resource leak in pidfile()
unused but we don't want to forget
Merge branch 'master' into portable