Fix pushFilenameStack