Added sanity-check on MINIX magic number