Update debian for release 0.10