Fix vfpmodule.c bad build