smartos.org prefers https, fix bootstrap URL