Extra bootstrap files and scripts for Linux
