Removed useless option, Travis unfriendly