Also sanitize the input .thm file