Finetune travis-ci config.