Settings: also parse vhdl_path from -d
Settings spec: no need for the tempdir