Reading keys from file into bignum arrays works