making fixpoint.native silent unless -v
done fiddling with fixpoint verbosity