Workarounds for OFED 3.5 installation on Ubuntu 13.04 with linux 3.5.