Do not depend on system specific headers