mysql_upgrade: case (in)sensitivity for stored procedures

[root@test]# mysql

Welcome to the MariaDB monitor.  Commands end with ; or \g.

Your MariaDB connection id is 2

Server version: 10.1.26-MariaDB MariaDB Server

Copyright (c) 2000, 2017, Oracle, MariaDB Corporation Ab and others.

Type 'help;' or '\h' for help. Type '\c' to clear the current input statement.

MariaDB [(none)]> use test

Database changed

MariaDB [test]> DELIMITER |

MariaDB [test]> CREATE PROCEDURE getStudents()

    -> BEGIN

    ->  SELECT * FROM students;

    -> END|

Query OK, 0 rows affected (0.00 sec)

MariaDB [test]> DELIMITER ;

MariaDB [test]> create database TEST;

Query OK, 1 row affected (0.00 sec)

MariaDB [test]> use TEST

Database changed

MariaDB [TEST]> DELIMITER |

MariaDB [TEST]> 

MariaDB [TEST]> CREATE PROCEDURE getStudents()

    -> BEGIN

    ->  SELECT * FROM students;

    -> END|

Query OK, 0 rows affected (0.01 sec)

MariaDB [TEST]> DELIMITER ;

MariaDB [TEST]> use mysql

Reading table information for completion of table and column names

You can turn off this feature to get a quicker startup with -A

Database changed

MariaDB [mysql]> select db,name,type from proc;

+-------+--------------------+-----------+

| db    | name               | type      |

+-------+--------------------+-----------+

| TEST  | getStudents        | PROCEDURE |

| mysql | AddGeometryColumn  | PROCEDURE |

| mysql | DropGeometryColumn | PROCEDURE |

| test  | getStudents        | PROCEDURE |

+-------+--------------------+-----------+

4 rows in set (0.00 sec)

MariaDB [mysql]> ALTER TABLE proc CONVERT TO CHARACTER SET utf8;

ERROR 1062 (23000): Duplicate entry 'TEST-getStudents-PROCEDURE' for key 'PRIMARY'

MariaDB [mysql]>