Fighting with the CI....

[Robert Goldman]

There was an oddball thing in the Makefile, and changing it broke the 
CI.

I'm just fixing it up now, but please don't pull from master until you 
get further notice.

If you *have* pulled from master today, please backup to 3.3.4.8 until 
further notice.

Sorry for any inconvenience.