tweak to see if we can get Travis-ci.org to build (gcc 4.6)