Bug in bintools