Yes, I made this fix in a short time only because otherwise I can't compile the engine on my machines (and with the new gcc branch).