This is a yet another patch for defsystem to support
ACL's case sensitive mode.
Compared to other patches, no change is made to
package names. Rather, ACL's case-sensitivity to
package names can be turned off with a flag.
This patch only adjusts case of symbols so that they
are consistent throughout the file.