a fix for compilation errors with bigsim.