Make --pencil-opt option work