Tweak build file for jenkins building @ Forge Jenkins