Call php-etags.php in update-tag-file