Drop dev-util/mono-tools