Fix Trebuchet build