Rename Magic V4.0b to MAGIC V4.0b