Bug fixes to deal with problem setting executable permissions in
cgi-bin.