travis-ci: try readlink -f instead of realpath