Oops, forgot libficus.h