Added 'camlp4' to '$DEBS' in '.travis.sh'