A compilation of tools for manipulating the output files of the Fairplay compiler