std: import path::Path correctly in fileinput