use standard names for pid files