Alternatively this could be fixed in destiny_socket_send (since send with non-const buffer makes no sense) ;-)