fix for compilation in ubuntu