Rename Magicsequence to Magicsequence.oz