thus the building has been known as cuartel viejo ever since