Try fixing travis via switching to enummapset-th