Change linux to minix