This old code may be broken - possible problem with dumpf on 64bit systems. It's due a rewrite. This was a modification to David Welch's sbt. It kind of grew. It can be done more neatly. Don't use it for now...