To support travis's old version of g++