header: fix sometimes not compile often enough