Some changes to attempt compilation with fixed-vector-0.7.0.0. Still
does not compile hence the branch.