Fix build on dev11