plchecker: build multi-module executable