fixes vfpu