makefile: change the way we select platforms at invocation time