please add a comment above this block to indicate why `$PSI_OBJ_INSTALL_DIR` and `$PSI_SRC_INSTALL_DIR` need to be set, since the build works fine without these