Fix some hopsizes, experimental kextract