Some acceptance-type tests on the actual executable