[arch-projects] [devtools] [PATCH 3/4] archbuild: Avoid unnecessary use of basename(1)