change to minixalpha