(Hopefully) fix windows build error