Fix configure migration_installation