Require 'image' to ensure that image-load-path is defined
Require 'image' to ensure that image-load-path is defined

Reported-By: da39a3ee5e6b4b0d3255bfef95601890afd80709@wintersteiger

FStarLang/fstar-mode.el,FStarLang/fstar-mode.el,FStarLang/fstar-mode.el