Is it not wiser to have the version of the additional tools in a separate file?