need to double-quote file names in places
Authored by: Jean-Francois Dockes 2010-02-06
Parent(s): [b87a23]
Child(ren): [47f76c]