Make the ubuntu dev setup script work on different releases

Signed-off-by: Luca <blmlcu@gmail.com>