Use lower case platform file name