Workaround for windows bug