Add files from IronPython to make merges work.