pumpio: fix for php > 5.3