Remove double #include

Although two includes are much safer than one. Imagine the first one
fails. We should duplicate every include.