Creating missing tool directory

make was failing for me due to lack of tool directory in Ubuntu 13.10.