Comment out changing of gtk theme for the moment