options for goblint