fixing weird filetype for domain.pp