[BUGFIX] Fix file name resolution