fenics checkout script first version