Re: [libdispatch-dev] Best practice for building libdispatch for verification on SL?