temporary fix for OSC build for Ubuntu 13.04