we didn't need that #ifndef anyway