made this work under MariaDB 10.0