Trying to test this now, on my linux box, but am having problems. I'd like to use ACL, which has a debugger I'm more familiar with, but have 32-bit ACL on a 64-bit linux. Even installing 32-bit gnu fortran, I get a failure, probably because the makefile is detecting that I have a 64-bit OS.
If you can help me through this, I might be able to solve your ASDF problems.
best, r