fix bootstrap on OS X