Tweak for v5.10.1 on Travis-CI