Platform: handle escaped whitespaces in command lines