Veracruz PR 628 (veracruz-project/veracruz#628) splits veracruz-server into platform-specific top level crates. This changed the names of the veracruz-server
binaries and the behavior of linux-veracruz-server
in respect to the location of the linux-runtime-manager
binary.