replace incompatible awk with C
diff --git a/.gitignore b/.gitignore
index c38ee77..306fcf8 100644
--- a/.gitignore
+++ b/.gitignore
@@ -47,6 +47,9 @@
 /tests/tests-skeletons/check-*
 !/tests/tests-skeletons/check-*.c
 
+# /tests/tests-randomized
+/tests/tests-randomized/test-param-helper
+
 # /doc/docsrc
 doc/docsrc/*.aux
 doc/docsrc/*.dvi