Fixes to linux build.

Signed-off-by: Jochen Gruen <gruen@intel-vci.uni-saarland.de>