Refined compiling and exporting.