St. Anthony's Primary School used to be