Thanks, Greg.<br><br>For the record, there was nothing so obvious as a "libcurl-dev" package listed in the package manager. The actual package that seems to have worked for me was "libcurl4-gnutls-dev". Other listed packages that I didn't try but that might have worked as alternatives (?) were "libcurl4-nss-dev" and "libcurl4-openssl-dev". I don't know if my (mostly blind) choice among these has any consequences for the functionality of my build products.<br>
<br>--paul<br><br>