hay un programa llamado menuedit
con ese puedes editar el menu.ml, lo dice el nombre :P

tambien se podria revizar manualmente, pero es algo un poco tedioso