ct_property_test(3erl) on Linux

The text c3293dea667d, as Debian 10 (Buster) shipped it.

EXPERIMENTAL support in Common Test for calling property-based tests.

ct_property_test(3erl) on Linux now