define symbols for Windows (but still not implemented)