Holomorphic extension of eigenfunctions