Modified bootstrap since it cannot use stdin