Fix a wrong use of --externs