Move FFC wrapper code to FFC to get around bootstrap problem