Updating ocsigen script