dejagnu in automake options and fix logpacket