fixes for WDK builds