proj: generates libhamt.la