Changing bucket name

Shouldn't thoses use the global variable HIFI_PUBLIC_BUCKET too?