Rename BASIC-01 to basic-01