Fixes for profile script

2 jobs for develop in 1 minute and 17 seconds (queued for 5 seconds)
Status Job ID Name Coverage
  Configure
passed #14972
linux
configure-linux

00:00:22

 
  Compile
passed #14973
make-linux

00:00:54