Change CMAKE_INSTALL_PREFIX default value to "$DEVEL_DIR/install" when relevant