got printf and printf-extensible to produce distinct binaries