These were apparently only used by older versions of Mirage, so remove them. See CONTRIBUTING.md in upstream's repository.