fix up libkern dependencies so we can get a profiling version