for PHP 5.5, don't try to profile the builtins
Merge pull request #113 from lornajane/php55

for PHP 5.5, don't try to profile the builtins