Keep original intention of extending gcc, but as there are problems with
libc conflict (libppl is linked against system libc, but later used with
old gcc provided libc, and detects features not available in old version
of libc) provide trimmed down gcc in order to compile pdftk.