add nachos src