idris: remove external IP