drop 5.8 from travis; we seem to have a 5.10isim somewhere