Removed duplicate files from renaming BefunExec