BUGFIX: wrong configuration defines for MobFox