Fix Issue #3 - Use format '[hostname]:port' for known_host entries when using non-standard ports