diff --git a/Maintenance/infrastructure/renoir.geometryfactory.com/.autocgalrc b/Maintenance/infrastructure/renoir.geometryfactory.com/.autocgalrc
index 28a8ff11b21..e1fb5cde0fc 100644
--- a/Maintenance/infrastructure/renoir.geometryfactory.com/.autocgalrc
+++ b/Maintenance/infrastructure/renoir.geometryfactory.com/.autocgalrc
@@ -34,6 +34,7 @@ REFERENCE_PLATFORMS_DIR=$HOME/infrastructure/reference-platforms
 USE_REFERENCE_PLATFORMS=yes
 
 ULIMIT_OPTIONS="-v 5000000 -c 0 -t 3600"
+export ULIMIT_OPTIONS
 
 NICE_OPTIONS="-15"
 
diff --git a/Maintenance/infrastructure/renoir.geometryfactory.com/reference-platforms/x86-64_Linux-Fedora19_llvm-clang-with-g++-4.8/setup b/Maintenance/infrastructure/renoir.geometryfactory.com/reference-platforms/x86-64_Linux-Fedora19_llvm-clang-with-g++-4.8/setup
index 4087cac0bdd..87f8ce60844 100644
--- a/Maintenance/infrastructure/renoir.geometryfactory.com/reference-platforms/x86-64_Linux-Fedora19_llvm-clang-with-g++-4.8/setup
+++ b/Maintenance/infrastructure/renoir.geometryfactory.com/reference-platforms/x86-64_Linux-Fedora19_llvm-clang-with-g++-4.8/setup
@@ -8,7 +8,7 @@ source ${REFS}/setup-common
 BOOST_ROOT=/home/lrineau/CGAL/boost/boost-release-branch
 export BOOST_ROOT
 
-CXXFLAGS="-I$BOOST_ROOT/include -fsanitize=address"
+CXXFLAGS="-isystem $BOOST_ROOT -fsanitize=address"
 
 ASAN_OPTIONS="detect_leaks=1"
 LSAN_OPTIONS="suppressions=${REFS}/x86-64_Linux-Fedora19_llvm-clang-with-g++-4.8/suppr.txt:print_suppressions=0"