Avoid having two pid files pointing to the same pid