use the right binary (OS)