#608: Bash 'web_img', adjust 'file_extension' definition