Change in docker-playground[master]: debian-stretch-jenkins: install libelf-dev