dejagnu: fix description (don't repeat package name)