tweeking dialyzer script invocation