FIX: build on Ubuntu 13.01 and later