Added ExtraPervasives.fs to the proto-compile script.