changes to os_linux code