compile fixes for windows
setting stacksize to default under windows for verify and benchmark