Use boost 1.48 on Travis-CI + minor tweaks for Makefile