Changes in Travis configuration