Fix to with-optimization-settings.

Robert Goldmanrequested to merge
iss148 into master

Thanks to Yehouda Harpaz. Fixes error in backquote syntax.

Fixes #148 (closed)

Merge request reports