configure.ml: some improvements concerning file paths