Use appropriate executable extension for the platform.