Skip a synchro test
Fix some imports for Synchro