change filename for linux compatibility