Arch: forgot to update the cmake file...