make CLOVIS_ROOT and SAFPLUS_SRC_DIR work properly if your source code tree is not in the sdk dir