Fixing #5 URL with ports will now be correctly processed.
release v1.3.5

Fixed #5: When failing at resolving a shortcut, domino will no more remove its prefix (thanks @Yomguithereal!)