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