I just tried to compile my program with -debug true and the compile fails because -lmlton-gdb (i.e., libmlton-gdb.a) is not part of the Debian package. It also isn't part of the .tgz download (I didn't check the rpm). Is this an error? (I know that -debug is an expert option, but still...)