MySQL UDF which tests if a file exists