Fix compilation for MariaDB. DTrace is rather useless, but it was already in this state.