A version of Pluto compiler to work with PoCC