More exploration of proper config notation for travis-ci