Fix Travis-CI bootstrap