Fix binary name for linux