Added two missing -with-tools properties