auth_type
This also switches to checking out a specific commit instead of just the master HEAD, as the port linter requires a hash (which is imo pointless in this case), and we can't provide a stable hash for the master branch HEAD.
This disables the GC, so the REPL doesn't run, but basic programs do work.