dialyzer: can run with both long and short names