An alternative implementation of the Lanczos algorithm for wavefunction propagation