Fix #381

Make sure all TokuMX are skipped on none supported platform.