Yet more work, since travis's gcc version is old.