hi: work around a curl & nginx bug