11/13/2013 update
obsolete file deleted
Merge branch 'master' of https://github.com/yye0528/osrocks