fix settings and dvips invocation