PS: an alternative solution for the ninja issue outlined in my OP would be a wrapper script like this {{{ #!/bin/sh if [ "${NINJA_JOBS}" != "" ] ;then exec ninja.bin -j "${NINJA_JOBS}" "$@" else exec ninja.bin "$@" fi }}}