rev.txt must not be deleted for Ubuntu