5.1 isn't working anymore either on Travis...