aut_from_file() -> Homomorphism.from_file()