Fix mutant deactivation under travis