fix header-file issues
avoid compiler warnings
fix non-extflonum build