Don't include happyrhino source code in the tool