desperate try at a build failure on PHP 5.3