we do not need windows-specific stuff in the tree