Fix a few bugs for --pure-binary (padding was not done, PC was not increased)