Just to confirm here, I believe we've settled upon

fix-vhdl-compiler-customization-4.patch<https://debbugs.gnu.org/cgi/bugreport.cgi?filename=fix-vhdl-compiler-customization-4.patch;bug=63251;msg=52;att=2>