Minor batch file fixes

Changed the batch files to handle environment variable path names with
spaces and quotes in them.