s3:wscript: make --with-{static,shared}-modules options more flexible