Here's a better idea: just use openssh or at least openssh's key formats since none of the big companies can manage anything better.