fixed polyml-toplevel to run on BSD