You can download the PorterPackage from the same location where you downloaded EiffelStudio 5.7.63005. In the package you have the F_code and TRANSLAT file. So you could even recompile the compiler in debug mode.