Use executable extension appropriate for the platform.
Use ppx_sedlex as executable name for consistency with other preprocessors.