: :Venkatesh Srinivas <me at acm.jhu.edu> added the comment: : :x86_64 doesn't have DEFS.h. Vekatesh, could you roll up all these patches and throw them into you git repo? It's easier to bring them in and test them that way. -Matt