dl_lib.h missing

I know it's a bit too late to answer, but the way I fixed this was to downgrade to ESP32 v 1.0.2
Then, I also needed to modify default python interpreter - the uploader does not work with default python2.7, so I needed to do
sudo update-alternatives --install /usr/bin/python python /usr/bin/python3 10

Afterwards, I was able to compile and upload the camera sketch.