make: do not use pipes so exit code is not messed up by the second cmd