Added DTrace option in cmake