Delete metaprog.lua~