(srcs-x pkg tmp)