WIP: modify travis