This change is required to generate proper build command in the docs. Signed-off-by: Tomasz Gorochowik <tgorochowik@antmicro.com>