XTCL script to load vhdl libraries