am 0488079d: Merge "Fix the computation of basefilename"

* commit '0488079dfa5d5e53198125934eeaefa9cf1e7047':
  Fix the computation of basefilename