Update tools.mk to v0.5.5

See commit-text for more details.