[PATCH v3 3/3] tools: error() if INCLUDEDIR/LIBDIR did not actually exist.