Interpolation already converts to binary, so this could be written as:

    File.join(compile_path, "#{erl.module}#{Code.objfile_extension}")