reverted to old prefixed mei-source.xml for music encoding