Attempt to fix broken Travis-CI build