Build fixes on Mint 17