travis: use a repo which is compatible with the OS version installed on the build machines