adopt eigen installation to latest Galaxy release