Hotfix to use curl on linux