Add vhdlib.0.9.0