For each file marked, we do this:

SELECT FilenameId FROM Filename WHERE Name='libsql.a'
SELECT FileId, LStat, MD5 FROM File WHERE File.JobId=1 AND File.PathId=19 AND File.FilenameId=160

Can we do that in one query (a join).

SELECT File.FilenameId, File.FileId, File.LStat, File.MD5
  FROM File, Filename
 WHERE File.JobId      = 1
   AND File.PathId     = 19
   AND File.FilenameId = Filename.FilenameId
   AND Filename.Name   = 'libsql.a'