extra checks, also forgot to commit new binaries