ppm-starpu small updates