Also addresses Adrien's request of using the full Git commit hash, which unfortunately is still needed although in the Git history it seems the version has already been released. Signed-off-by: Timothy Gu <timothygu99@gmail.com>