1) attempt to fix travis-ci script
2) speeded up basic check