fixed Gretty-configuration