Added minix executable