removed usage of the ffc script from LeanKernel