Avoiding (what appears to be) bugs in /usr/bin/c++