Fix includes for HelenOS