Added back the nachos executable which is sometimes easier to test with.