Looks like the last version of 123d, called 'design' dont allow any other export format except .123dx ... bye bye easy fillet modeling :(

Keep your last beta9 version safe ;)