Fix portability problem with "extern inline" stuff in misc.h