Comment 1 for bug 1039522

I think line 430 should be:

throws new PHPDS_exception(sprintf(___('File could not be found after trying to execute filename : %s'), $navigation[$menu_id]['menu_link']));