Link to pre-built binaries

Also, clean boot.scr.