mariadb 10.1.2 devel

With the new development version the way how plugins are specified has changed. Not sure if this is the best way to handle this.