GPS Customization - tool switches and parameters?

Hi,
 We're working on a customization of GPS to support
the SPARK Toolset, and I've come across an issue with
tool switches and their parameters.

The SPARK Examiner has lots of switches, some of
which take parameters.  Example - we "index file"
used by the Examiner is set using

  /index_file=filename

In my XML customization file, I have various
"field line" entries, such as

 <field line=1 label=" Index File " as-file="true" switch="/index_file=" />

When invoking the Examiner, though, GPS generates a command-line
with a space following the "=" e.g.

  /index_file= filename

This fails, since the Examiner treats the space as a separator.

Any ideas how to make this work?  I guess I could 

a) modify the Examiner to be more tolerant of the space following
the "=", or

b) modify GPS to omit the space for any switch that ends in "="?

 Thanks,
  Rod Chapman, SPARK Team, Praxis Critical Systems Limited


**********************************************************************
This email and any files transmitted with it are confidential and
intended solely for the use of the individual or entity to whom they
are addressed. If you have received this email in error please notify
the system manager.  The IT Department at Praxis Critical Systems can be 
contacted at it.support@xxxxxxxxxxxxxxx
This footnote also confirms that this email message has been swept by
MIMEsweeper for the presence of computer viruses.
www.mimesweeper.com
**********************************************************************


________________________________________________________________________
This e-mail has been scanned for all viruses by Star Internet. The
service is powered by MessageLabs. For more information on a proactive
anti-virus service working around the clock, around the globe, visit:
http://www.star.net.uk
________________________________________________________________________