sed: revbump because somehow the arm binpkg contains debug files.