As of 9debd3b this #pragma is not needed anymore.