VaultGUI: porting to GCC