compatibility fix for php 5.4
upstream