travis: much more minimal build to try again to get under 25 min compile time cutoff