Instead of this, we could change DEFAULT_FILE_EXTENSIONS to instead be a function that returns the appropriate extension. This could then take into account more than just the platform.