Tools: add alt-src to various configs