more elaborate travis setup