Bastión del capo Marchiafava, Cefalù