bashrc-shared: renaming ext-ip function to externalip