main_derive_key_dh(): indent using spaces, instead of tabs