linux filename fix