hack to fix compilation errors