updated Travis configuration