use different octopos variants without softfloat