workaround for proxy in travis