Ceph

make dist after make check occasionally (once every 20 runs or so) fails with the following (see http://jenkins.ceph.dachary.org/job/ceph/LABELS=centos-7&&x86_64/8526/console for an example)

make  dist-gzip am__post_remove_distdir='@:'
make[1]: Entering directory `/home/jenkins/workspace/ceph/LABELS/ceph-centos-7-jenkins'
if test -d "ceph-9.1.0"; then find "ceph-9.1.0" -type d ! -perm -200 -exec chmod u+w {} ';' && rm -rf "ceph-9.1.0" || { sleep 5 && rm -rf "ceph-9.1.0"; }; else :; fi
test -d "ceph-9.1.0" || mkdir "ceph-9.1.0" 
 (cd src && make  top_distdir=../ceph-9.1.0 distdir=../ceph-9.1.0/src \
     am__remove_distdir=: am__skip_length_check=: am__skip_mode_fix=: distdir)
make[2]: Entering directory `/home/jenkins/workspace/ceph/LABELS/ceph-centos-7-jenkins/src'
./make_version -g ./.git_version
if [ -n "$NO_VERSION" ] ; then \
    ./make_version -g ./.git_version -c ./ceph_ver.h -n ; \
else \
    ./make_version -g ./.git_version -c ./ceph_ver.h ; \
fi
ccache g++ -Wall -g -std=gnu++11    rocksdb/tools/rdb/rdb.cc   -o rocksdb/tools/rdb/rdb
[01m[Krocksdb/tools/rdb/rdb.cc:5:16:[m[K [01;31m[Kfatal error: [m[Kv8.h: No such file or directory
 #include <v8.h>
[01;32m[K                ^[m[K
compilation terminated.
make[2]: *** [rocksdb/tools/rdb/rdb] Error 1
make[2]: Leaving directory `/home/jenkins/workspace/ceph/LABELS/ceph-centos-7-jenkins/src'
make[1]: *** [distdir] Error 1
make[1]: Leaving directory `/home/jenkins/workspace/ceph/LABELS/ceph-centos-7-jenkins'
make: *** [dist] Error 2