options.h header is needed now. Signed-off-by: Rosen Penev <rosenp@gmail.com> (cherry picked from commit 317575755a)
317575755a