minor: edits to options to fix building