quick hack for correct package name on ubuntu saucy