Standardize the command line for core compilation

This is done with the addition of an extra step to source /etc/profile
directly in the command line of Jenkins. User is still free to change
that file at will to change the folder where called scripts are located.
For simplicity, this should be a single location.