What if he just refunds people that had more than 1 BTC from the amount that he stole? So not from his own personal money. There are still lots of people that had less than 1 BTC and he would make good profit just from their bitcoins.