old_contents: Package ('xamarin-gtk-engine', 'master',
  	sources = [ 'git@github.com:lanedo/xamarin-gtk-theme.git' ],
  	override_properties = { 'configure':
  		'LIBTOOL=glibtool ./autogen.sh --prefix=%{prefix}'
  	}
  )
  
new_contents: Package ('xamarin-gtk-engine', 'master',
  	sources = [ 'git@github.com:lanedo/xamarin-gtk-theme.git' ],
  	override_properties = { 'configure':
  		'./autogen.sh --prefix=%{prefix}'
  	}
  )
  
subject: Revert "Use glibtool." because the proper fix landed in xamarin-gtk-theme.