Getopt.php - Are those normal?

[Seregwethrin]

/usr/local/directadmin/customapache/php-4.4.8/pear/Console/Getopt.php
/usr/local/lib/php/Console/Getopt.php

Are those files normal?

Because I'm suspicious about some harmful scripts or programs in my server and I've found that file first in /tmp dir (exactly /tmp/pear/download/Console_Getopt-1.2.3/Console/Getopt.php)