Fix caching of gcc_42_build_version