LAOS Laser

So I was trying to recompile the source and forgot completely how I used to do it.
http://redmine.laoslaser.org/projects/laos/wiki/CompilingFirmware

The newest (and best) way was the with open source MBED from GitHub right?
http://redmine.laoslaser.org/projects/laos/wiki/CompilingFirmware
And this requires the mbed-gcc branch right?

Applying the patch gives the following feedback, which seems bad, does anyone know how to fix it?

peteruithoven-2:mbed Peter$ patch -p1 < ../laser/mbed.patch
patching file workspace_tools/make.py
Hunk #1 succeeded at 31 (offset 1 line).
Hunk #2 FAILED at 80.
Hunk #3 succeeded at 134 with fuzz 2 (offset 8 lines).
Hunk #4 FAILED at 153.
2 out of 4 hunks FAILED -- saving rejects to file workspace_tools/make.py.rej
patching file workspace_tools/tests.py
Hunk #1 FAILED at 553.
1 out of 1 hunk FAILED -- saving rejects to file workspace_tools/tests.py.rej

Going through all instructions (except the patch) and calling python workspace_tools/make.py -m LPC1768 -t GCC_ARM -n laser I get the following error:

Traceback (most recent call last):
  File "workspace_tools/make.py", line 116, in <module>
    p = TEST_MAP[n].n
KeyError: 'laser'

This seems to be related to the -n (The name of the desired test program) option. Calling the command with the -v (verbose) option results in the same feedback.
Looks like the "laser" (-n's value) is not found in TEST_MAP and there is no test_alias.
Can someone help me with this?