update nachos.conf