tree fca8b611927f026800f9c101a8e24490c62ff883
parent 43dbdfd0e738939e25b84deb60fc6b253a9a5ea2
author Wenzel Jakob <wenzel@inf.ethz.ch> 1440602603 +0200
committer Wenzel Jakob <wenzel@inf.ethz.ch> 1440602603 +0200

linux compilation fixes