creating pid files on Ubuntu (unified behaviour with Debian)