building DVI/PS in separate directory now works