work around travis proxy