Solving problems in travis CI configuration file