fix debian/mint initscript to make pidfile