Preserve original source file extension in object file.

See #255 for discussion