Add declarations to make clang happy