fix wartremover config, leaving it commented for now (see #236)