Problem with the sablotron extension in PHP 4.0.4 source

I just thought I'd point out a little problem I discovered in the PHP 4.0.4 source distribution. I had nothing but trouble trying to compile with the sablotron extension enabled until I noticed that ext/sablot/php_sablot.h and ext/sablot/sablot.h were identical files. When I pulled the sablot.h from the Sablotron 0.44 source, everything built fine, but it took quite a while to get to the point were I discovered this. If this hasn't already been noted and taken care of, someone might want to check it out and get it fixed. If it makes any difference, I extracted the php source before the Sablotron source, so if it was supposed to be a symlink that could explain the problem, but other than that I don't know what could have caused the problem. - Theo Brinkman