Fix Freeciv-proxy status on Travis CI.