Add back ceval_systemtap.h to 00055-systemtap.patch