../lib/mnit/linux/linux_app.nit:29,16--31: Redef Error: a virtual type cannot be refined.
../lib/mnit/linux/linux_app.nit:30,16--29: Redef Error: a virtual type cannot be refined.