fix compilation error (update Makefile.options)