fixed problem when saving configurations
fixed test case generation problems on different os's