(temporary) workaround for ROOT-6124