Jenkins: Actually run profile build

See: e456fbde35554848f18528f1ae1992cb1845fcd8