Fix mipmap generation for paths with dots

[AlexDaniel]

Full paths can contain dots in parent directories (e.g. “/home/foo/.steam/”), so it is important to work with basenames only.