FIX BUILD: revert accidentally-committed patch