Let the user specify gtk version and more in bug reports