add -spec for dialyzer