no more colors in default goblint output