INSTALL: correctly name and check if the sdk is already there