Fixed bugs due to 64-bit pointer.
drwxr-xr-x - NOTES
-rwxr-xr-x 1294 SUPER_INSTALL
drwxr-xr-x - doc
drwxr-xr-x - src