try out on my laptop, put machine-specific paths into the .path file