Fix for the execute() method when a PDB file is being used.
Authored by: bugman 2008-10-12
Parent: [r7665]
Child: [r7667]