case-insensitive OS translation; add Minix and Bitrig