Rename MAGIC 4.2 to MAGIC V4.2