Build hacks to get grep working with PDT