Minor: simpler source file finding