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