Create a stripped volk_gnsssdr_profile binary for debian packaging