infra: Hopefully, fix Travis build.