Cleanups to file_ext.h