remove debian-trilinos-lucid