tools.mk update and dialyzer fixes