Script: fix building in other directory
Script: fix building in other directory

project-oak/rust-verification-tools,project-oak/rust-verification-tools,project-oak/rust-verification-tools,project-oak/rust-verification-tools