fix broken compile due to missing pseudoflavors.h