Added hasFFMPEGSupport to tools.py