fix Travis-CI