Fixed #862: Make workaround for PHP Bug #41093 conditional