Restore purged curl to ubuntu boxes

Despite sharing a post-install script with Debian, purge on Ubuntu removes curl. This is a clumsy workaround, but it does ensure that curl is available on the box, which provides parity with other platforms.

Also removes a trailing space in an unrelated file.