Fixed small python3 error with bootstrap script.