travis has not the correct patch level...