df7c387155
in this directory and it's causing "make dist" to break. Shiqing -- is there a missing file in this directory? If so, please add it and restore the EXTRA_DIST line I just removed. Thanks! This commit was SVN r21340.