Use different version sections for travis.cfg.