I would guess that with the superenv changes we probably don't even need this anymore, certainly not for me. I'll remove this then.