compiles with pgpfrontend infrastructure connected