Configurable file extension to allow Objective-C code