Fix cargo-gpu in build script failing when called by Miri or Clippy

Fix cargo-gpu in build script failing when called by Miri or Clippy #737