Shorten the bash incantation to get the SDK root