O tarball dos fontes foi recriado em 2013-04-24, quando percebi que
ele continha arquivos objeto além dos fontes.  Oops.  Não mudou nada,
só dei um “make clean”.  Depois, recriei os binários, que, por causa
dos arquivos de classe antigos, não funcionavam direito.  -lxoliva