Fix compilation for MariaDB. DTrace is rather useless, but it was already in this state. (commit: daf6d57)