Bring back PHP 5.3.x compatibility to fix for #15