oops, forgot to re-add renamed files