[bitfolk] pyGRUB ignores changes in menu.lst