fixes on linux -- there are memory problems