adding some OS specific goo to the bootstrap script