Better repo declaration (as builds are done on different Jenkins slaves)