I don't have time to look it further too, sorry. (optiflag changed its specification?)
But if there is such a reason and it functions by that fix, I think there is no problem.