Linux OS-dependent code

