(FBAcores) Autogenerated files