Quote $PATH export to account for spaces.

Many people have spaces in their Windows user names, leading to trouble with an unquoted $PATH export.  This file now quotes the $PATH addition accordingly.