Fix for the backend of the dx.execute() user function.
The file arg was at some point renamed to file_prefix. The code now uses this name change.
Authored by: bugman 2008-10-12
Parent: [r7679]
Child: [r7681]