fix KleeMain about getenv