Bug fix for compilation in Linux