Fix broken Travis build