reverted previous fix in favor of a warning disabling #pragma