(Hopefully) solve compiler errors on Travis