fixes built with starpu-availability test:
this test still needs a real implementation, until now we just set
it to be not available