fix some aux scripts

2 jobs for v0.8.2 in 1 minute and 16 seconds (queued for 12 seconds)
latest
Status Job ID Name Coverage
  Configure
passed #12742
linux
configure-linux

00:00:18

 
  Compile
passed #12743
make-linux

00:00:58