Make sure compilation works