Fix Due compilation stuff