further bug fixing in read_binary_eigenvectors