Update deprecated identifiers in mysql recipe