Work around a Travis-CI configuration change.

Signed-off-by: Daira Hopwood <daira@jacaranda.org>