remove executable flag on ContravariantCoyoneda