diff --git a/install-dev/upgrade/php/p15018_change_image_types.php b/install-dev/upgrade/php/p15018_change_image_types.php
index e7d1bfecb..218b5e3ac 100644
--- a/install-dev/upgrade/php/p15018_change_image_types.php
+++ b/install-dev/upgrade/php/p15018_change_image_types.php
@@ -107,6 +107,8 @@ function p15018_change_image_types()
 
 function p15018_copy_or_rename($from, $to, $option)
 {
+	if (!file_exists($from))
+		return;
 	if ($option)
 		copy($from, $to);
 	else