fixed issue #79 (in linux)