curl may be missing on Ubuntu