Merge pull request #92 from diwu1989/master

Coffee doesn't understand debug or debugBrk options
v0.5.2