make DTrace a configurable option