fixed Ubuntu build (missing distro in filename)