Updated minix code