ct_property_test(3erl) on Linux

The text ffed17d9dd82, as Debian 11 (Bullseye) shipped it.

Support in Common Test for running property-based tests.

ct_property_test(3erl) on Linux now