[dfmc] Remove unused optimization level stuff.

This hasn't been used since 1997 or earlier.