SOFTHSM-85: Change binary names on Windows