I know. But there is not much we can do, if doctrine has this problem.
BTW does someone know if this problem was already reported upstream? Can we expect that this will be fixed in one of the next doctrine versions?