Remove some obsolete ports from Euphoria so that I can re-use their port
numbers.