(srcs-x tmp pkg)