rename froscon8 -> froscon9