130c15ef5a
suggestions from Pierre Delaage). (cherry picked from commit 668bcfd5ca237fdf6fbef1ab463697a4a48caf39) Resolved conflicts: util/pl/VC-32.pl