Added files needed by workaround.