better setting of extempore directory in extempore-setup