Rocky Raccoon , maskot MINIX 3