CHANGE: linux specific code change