(travis) Feeble attempt at reverting f207111d

The toolchain gang became *a little* more reasonable in the past year, let's
see how far we get without this particular set of workarounds
(travis) Reshuffle CI workflow