Another travis trick