fix downloading sources with curl