fix travis and workaround for libstd++ bug

The work around for a bug in libstd++ is described here.
https://github.com/philsquared/Catch/issues/352