There was some bug on travis with 5.3, right?