There is currently an inconsistency between both names. The Makefile.in for Unix refers to inipdftex, but man pages and source code to pdfinitex. I propose to fix this in favor of inipdftex/virpdftex. -- Fabrice