[Maria-developers] rename maria to aria in 5.2