Hack to figure out PHP paths