README: Update the build commands

Author: AlessandroA

README.md

@@ -17,12 +17,12 @@ For a release build, please enter:
 $ mbed compile -m K64F -t GCC_ARM
 ```
 
-You will find the resulting binary in `.build/K64F/GCC_ARM/mbed-os-example-uvisor.bin`. You can drag and drop it onto your board USB drive.
+You will find the resulting binary in `BUILD/K64F/GCC_ARM/mbed-os-example-uvisor-thread.bin`. You can drag and drop it onto your board USB drive.
 
 ### Debug
 
 When a debugger is connected, you can observe debug output from uVisor. Please note that these messages are sent through semihosting, which halts the program execution if a debugger is not connected. For more information please read the [Debugging uVisor on mbed OS](https://github.com/ARMmbed/uvisor/blob/master/docs/api/DEBUGGING.md) guide. To build a debug version of the program:
 
 ```bash
-$ mbed compile -m K64F -t GCC_ARM -o "debug-info"
+$ mbed compile -m K64F -t GCC_ARM --profile mbed-os/tools/profiles/debug.json -c
 ```