Work around for older versions of PHP exhibiting bug 45528