starpu_shutdown is now correctly called