It would actually help the debian packaging process if we didn't append `/Hilary`