Hack kalatheme to try and get travis working.