Fix bootstrap.py on posix platform