bug fix: same code compiled twice (on MS windows)