Fix scripts-dev to pass typechecking.