marvel: Don't use a custom toolchain