It is now after pldi. This issue has been fixed, so remove the hack
-rw-r--r-- 55 .cvsignore
-rw-r--r-- 1870 CREDITS.TXT
-rw-r--r-- 2421 LICENSE.TXT
-rw-r--r-- 1130 Makefile
-rw-r--r-- 2687 Makefile.common
-rw-r--r-- 6093 Makefile.config.in
-rw-r--r-- 31853 Makefile.rules
-rw-r--r-- 3865 README.txt
drwxr-xr-x - autoconf
-rwxr-xr-x 772478 configure
drwxr-xr-x - docs
drwxr-xr-x - examples
drwxr-xr-x - include
drwxr-xr-x - lib
drwxr-xr-x - projects
drwxr-xr-x - runtime
drwxr-xr-x - test
drwxr-xr-x - tools
drwxr-xr-x - utils