fix libtrace filename in automake