modify travis settings according to my needs