improve support for minix, PR6280, patch by