Trying an older version of boost for the sake of travis