We should use ```bash cargo build --frozen ``` when compiling the models, but not when calling `PM_build()`