minor fix on build file to make it work on travis CI