[debian-trilinos] another fix for new package names