The option `nostrip_files` takes a filename without path, in contrast to option `nopie_files` which takes only full path. This commit makes it so that `nostrip_files` can take either the filename or the full path.