OK, although it shouldn't matter much, since we prepend paths. Unless something goes wrong, of course. Will fix.