update .bin files for correctness checking; sync libi0