some finetuning of travis build file