revert [6686] - no longer necessary since [6814]
-rw-r--r-- 1323 Makefile
drwxr-xr-x - files
drwxr-xr-x - patches