Item8677: remove derived object from the repository. It's built by BuildContrib and pseudo-install.pl, and to avoid confusions like that just experienced by Raul it's best not to have it checked in.
