Rename a few spec files