Fix wrong curl command line options

Reported by Guillaume Lelarge in issue #12