small bugfixes, linux support