renaming the files to .hal before cleaning