switch to gcc-4.8.2 pretty printers