Add zend decoder file for php 5.4