Avoid broken c-ffi test for now.

This causes the C back-end to crash as is documented in issue #472.