Fix input file paths on linux

This commit fixes remaining problems from 77d28dd.