--- ddd/strclass.C.gcc 2010-02-19 13:24:04.000000000 +0100 +++ ddd/strclass.C 2010-02-19 13:24:32.000000000 +0100 @@ -17,6 +17,8 @@ License along with this library; if not, see <http://www.gnu.org/licenses/>. */ +#include <cstdio> + char strclass_rcsid[] = "$Id$";