make travis be debian