fix travis and workaround for libstd++ bug