Fix dialyzer and xref errors

Also update tools.mk to 0.5.3