Now uses pth locally

Signed-off-by: Andrew Miller <amiller@cs.umd.edu>