[PATCH 06/13] options.c: make some functions static