Choose cmake profile based on cargo profile
Fix API definition of git_remote_download