FIX: bitos for mips64