Update tools.mk to 0.5.3 and add dialyzer ignore file