Fix bootstrap script for Linux