Problem with pdf thumbnail generation and spaces in filenames

Hi,
I had a problem in the 3.9.6.1 version that I corrected by modifying the inc.thumbnails.php file.
The problem occurred with PDF files with spaces in their filenames resulting in long wait of timeout when the plugin was trying to render these thumbnails.
I just quoted the $thumbpath variable in the convert commands to resolve the problem.
Lines 92 to 94:

if($thumbsize == 'large') exec("convert -define jpeg:size=180x180 \"{$pdfpath}[0]\" -colorspace RGB -thumbnail 180x180 -gravity center -crop 180x180+0+0 +repage \"$thumbpath\"");
elseif($thumbsize == 'medium') exec("convert -define jpeg:size=120x120 \"{$pdfpath}[0]\" -colorspace RGB -thumbnail 120x120 -gravity center -crop 120x120+0+0 +repage \"$thumbpath\"");
else exec("convert -define jpeg:size=60x60 \"{$pdfpath}[0]\" -colorspace RGB -thumbnail 60x60 -gravity center -crop 60x60+0+0 +repage \"$thumbpath\"");

Is it possible to integrate this modification in a future release of the plugin?