Avoid broken c-ffi test for now.

This causes the C back-end to crash as is documented in issue #472.
Merge pull request #474 from waywardmonkeys/avoid-broken-c-ffi-test

Avoid broken c-ffi test for now.