By the way, we just fixed a build system bug after an issue was reported. If you had any trouble building, please git pull and try again