Windows compilation

Fix windows compilation on Jenkins.