minor corrections to file paths so that we can compile at linux