manual.tar.gz is not the 3.0.12 version, adding http://www.php.net/distributions/manual.tar.gz could help also.
this has been updated for the next release.