Make it possible to rename exported ports, fixes #108