Demonstration how to use dejagnu in automake