Source files have different names on different machines when extracted