Point to DEV_TOOLS via HTTPS to allow cloning