Properly add mmtk to libcore