prompt GitHub to build again (turned off Travis-CI)