Erreur "gnu / stubs-32.h: aucun fichier ou répertoire de ce type" lors de la compilation du code source Nachos

J'essaie d'installer Nachos sur mon ordinateur portable et j'ai Ubuntu 11.04 sur l'ordinateur portable. Le code est en C et donc pour le construire, je suppose que j'aurai besoin d'un compilateur croisé. C'est là que se situe mon problème. J'ai téléchargé le code source du compilateur croisé MIPS...