Move vhdlib to the right place