windows port: removed dead code