Couple of minor fixes between linux and windows. Turned off VERBOSE.