Add Bart39's binary.