fix for php > 5.4