Fix VHDL cache.