dredd compilation