repaired Linux build
minor repairs