Only with USE_OPTIONAL=true; we also run with USE_OPTIONAL=false.