stupid file extension capitalization