We should also better label our releases such that it's easy to identify the desired binary for any OS.