fix for old git versions (no --short option)