Make a proper comparison of verbatim elements (so that programlisting gets updated, even if you only change whitespace)