Add back some files removed by mistake