Replace build/prefilter.pl with build/prefilter.ml