Fix Travis-CI build configuration (fix #191)

Signed-off-by: Daniele Ricci <daniele.athome@gmail.com>