Added fixpoint optional compilation