Make sure server.properties is correctly set, closes #8