proj2 minix update