(fix) Removed temporary travis hack.