Actually add the function file